By Jon Bentley WRITING CORRECT PROGRAMS
نویسنده
چکیده
In the late 1960s people were talking about the promise of programs that verify the correctness of other programs. Unfortunately, it is now the middle of the 198Os, and, with precious few exceptions, there is still little more than talk about automated verification systems. Despite unrealized expectations, however, the research on program verification has given us something far more valuable than a black box that gobbles programs and flashes “good” or “bad’‘-we now have a fundamental understanding of computer programming. The purpose of this column is to show how that fundamental understanding can help programmers write correct programs. But before we get to the subject itself, we must keep it in perspective. Coding skill is just one small part of writing correct programs. The majority of the task is the subject of the three previous columns: problem definition, algorithm design, and data structure selection. If you perform those tasks well, then writing correct code is usually easy.
منابع مشابه
Producing Gender-Sensitive Materials for Open and Distance Learning
PRODUCING GENDER-SENSITIVE MATERIALS FOR OPEN AND DISTANCE LEARNING Written and researched by Maree Bentley, Education Consultant, Australia Karen Bentley, Education Consultant, Australia USING ELECTRONIC TOOLS TO HELP Most scripts for learning materials are created using modern computer word processing programs such as Microsoft Word, that have a variety of tools available to help writers avoi...
متن کاملTools for Printing Indexes
This paper describes a set of programs for processing and printing the index for a book or a manual. The input consists of lines containing index terms and page numbers. The programs collect multiple occurrences of the same terms, compress runs of page numbers, create permutations (e.g., ‘index, book’ from ‘book index’), and sort them into proper alphabetic order. The programs can cope with emb...
متن کاملA System for Algorithm Animation
An algorithm or a program can be animated by a movie that graphically represents its dynamic execution. A sorting algorithm, for instance, might be animated by a sequence of frames that shows a set of vertical lines of various heights being permuted into order of increasing height. Such animations are useful for developing new programs, for debugging, and for explaining how programs work. This ...
متن کاملبررسی توانایی نسخه نویسی ده بیماری شایع با روش OSCE در کارورزان دانشکده پزشکی ساری در تابستان 1383
Background and purpose: Ït is now clearly acknowledged that unjustified prescription habit can lead to ineffective or incomplete treatment and may extend the course of illness or time to recovery. Ât present, there is no taught course available on prescription writing method specifically for common illnesses. Çonsequently, students learn through experience. Ïn these circumstances, it seems es...
متن کامل